Puente entre conocimiento matemático bibliográfico y formalizado
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.
#bibliografía matemática
Una nueva capa puente alinea publicaciones matemáticas con pruebas formales, midiendo la cobertura de formalización de cada artículo.